//#include<stdio.h>
//void main04() {
//	printf("%d\n", (int)(1 + 2.0));
//	printf("%f\n", 1 + 2.0);
//}